EPTCS 141 Proceedings of the Ninth Workshop on Model - Based Testing Grenoble , France
نویسندگان
چکیده
منابع مشابه
Reversible Barbed Congruence on Configuration Structures
Clément Aubert, Ioana Cristescu. Reversible Barbed Congruence on Configuration Structures. S. Knight, I. Lanese, A. Lluch Lafuente and H. T. Vieira. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. 189, pp.68-85, 2015, EPTCS Proceedings ICE 2015. . <10.4204/EPTCS.189.7>. <hal-0...
متن کاملLipidic composite vesicles based on poly(NIPAM), chitosan or hyaluronan: behaviour under stresses
Giant Unilamellar Vesicles (GUVs) consisting in self-closed lipid bilayers of 0.5-100 µm diameter are considered as oversimplified models of cells because of their biological membrane and micrometric size while Large Unilamellar Vesicles (LUVs) of 100-500 nm diameter have applications in drug delivery. To improve structural and mechanical properties of these vesicles, we have developed two cate...
متن کاملLipidic composite vesicles based on poly(NIPAM), chitosan or hyaluronan: behaviour under stresses
Giant Unilamellar Vesicles (GUVs) consisting in self-closed lipid bilayers of 0.5-100 µm diameter are considered as oversimplified models of cells because of their biological membrane and micrometric size while Large Unilamellar Vesicles (LUVs) of 100-500 nm diameter have applications in drug delivery. To improve structural and mechanical properties of these vesicles, we have developed two cate...
متن کاملEPTCS 80 Proceedings of the 7 th Workshop on Model - Based Testing
expected−result Figure 3: Realization of the testing scenario o : bool Ca a a i : bool Figure 4: An abstract component are compatible and emits a boolean value accordingly. The bool stream must be interpreted in a way, such that a single false occurring in the streams turns the entire comparison into false.
متن کاملWeighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). EPTCS 220, 2016, pp. 63–75, doi:10.4204/EPTCS.220.6 c © L. Foshammer, K.G Larsen & A. Mariegaard This work is licensed under the Creative Commons Attribution License. Weighted Branching Simulation Distance for Parametric Weighted Kripke Struc...
متن کامل